Rapid Recovery of Program Execution Under Power Failures for Embedded Systems with NVM

After power is switched on, recovering the interrupted program from the initial state can cause negative impact. Some programs are even unrecoverable. To rapid recovery of program execution under power failures, the execution states of checkpoints are backed up by NVM under power failures for embedded systems with NVM. However, frequent checkpoints will shorten the lifetime of the NVM and incur significant write overhead. In this paper, the technique of checkpoint setting triggered by function calls is proposed to reduce the write on NVM. The evaluation results show an average of 99.8% and 80.5$% reduction on NVM backup size for stack backup, compared to the log-based method and step-based method. In order to better achieve this, we also propose pseudo-function calls to increase backup points to reduce recovery costs, and exponential incremental call-based backup methods to reduce backup costs in the loop. To further avoid the content on NVM is cluttered and out of NVM, a method to clean the contents on the NVM that are useless for restoration is proposed. Based on aforementioned problems and techniques, the recovery technology is proposed, and the case is used to analyze how to recover rapidly under different power failures.Comment: This paper has been accepted for publication to Microprocessors and Microsystems in March 15, 202

Single-shot decoding of good quantum LDPC codes

Quantum Tanner codes constitute a family of quantum low-density parity-check (LDPC) codes with good parameters, i.e., constant encoding rate and relative distance. In this article, we prove that quantum Tanner codes also facilitate single-shot quantum error correction (QEC) of adversarial noise, where one measurement round (consisting of constant-weight parity checks) suffices to perform reliable QEC even in the presence of measurement errors. We establish this result for both the sequential and parallel decoding algorithms introduced by Leverrier and Z\'emor. Furthermore, we show that in order to suppress errors over multiple repeated rounds of QEC, it suffices to run the parallel decoding algorithm for constant time in each round. Combined with good code parameters, the resulting constant-time overhead of QEC and robustness to (possibly time-correlated) adversarial noise make quantum Tanner codes alluring from the perspective of quantum fault-tolerant protocols.Comment: 35 pages, 3 figure

Coordination evaluation and dynamic adjustment mechanism of China’s green development at inter-provincial level

The inter-provincial green development evaluation is an essential tool for monitoring regional green development and helping the government create green development policies in China. This study defines the green index, economic index, and social index, and creatively constructs an index-based indicator system for evaluating green development. With the coordination of green development as an analytical guide, the current state of green development in each region of China is examined from a spatial perspective in both vertical and horizontal dimensions with the help of coupling coordination. The empirical findings demonstrate that each province’s three index values present distinct development features, which are reflected as an uncoordinated green development. With the macro policy incentive as the evaluation guide, a new dynamic weighting method of three indexes is proposed based on the measured data of the overall green development process of each province. For the purpose of realizing a dynamic evaluation method that can adopt differentiated government performance evaluation criteria according to the different green development evolution processes of each region, a lag extension evaluation theory is pioneered using dynamic policy incentives as the entry point. This will encourage each region to invest in the development of its weaker links

An efficient decoder for a linear distance quantum LDPC code

Recent developments have shown the existence of quantum low-density parity check (qLDPC) codes with constant rate and linear distance. A natural question concerns the efficient decodability of these codes. In this paper, we present a linear time decoder for the recent quantum Tanner codes construction of asymptotically good qLDPC codes, which can correct all errors of weight up to a constant fraction of the blocklength. Our decoder is an iterative algorithm which searches for corrections within constant-sized regions. At each step, the corrections are found by reducing a locally defined and efficiently computable cost function which serves as a proxy for the weight of the remaining error.Comment: 36 pages, 6 figure

Intuitionistic fuzzy induced ordered weighted averaging distance operator and its application to decision making

[EN] In this paper, we develop a new method for intuitionistic fuzzy decision making problems with induced aggregation operators and distance measures. Firstly, we introduce the intuitionistic fuzzy induced ordered weighted averaging distance (IFIOWAD) operator. It is an extension of the ordered weighted averaging (OWA) operator that uses the main characteristics of the induced OWA (IOWA), the distance measures and uncertain information represented by intuitionistic fuzzy numbers. The main advantage of this operator is that it is able to consider complex attitudinal characters of the decision-maker by using order-inducing variables in the aggregation of the distance measures.We further generalize the IFIOWAD by using weighted average. The result is the intuitionistic fuzzy induced ordered weighted averaging weighted average distance (IFIOWAWAD) operator. Finally, a practical example about the selection of investments is provided to illustrate the developed intuitionistic fuzzy aggregation operators.The authors would like to thank the Editors and anonymous reviewers for their helpful comments and suggestions. This paper is supported by the National Natural Science Foundation of China (No. 71571128), MOE Project of Humanities and Social Sciences (No. 14YJC910006), Zhejiang Province Natural Science Foundation (No. LQ14G010002), Zhejiang Province Soft Science Fund (No. 2015C35007), Ningbo Natural Science Foundation (No. 2015A610161), Statistical Scientific Key Research Project of Zhejiang, K.C. Wong Magna Fund in Ningbo University, Key Research Center of Philosophy and Social Science of Zhejiang Province Modem Port Service Industry and Creative Culture Research Center.Zeng, S.; Merigó, JM.; Palacios Marqués, D.; Jin, H.; Gu, F. (2017). Intuitionistic fuzzy induced ordered weighted averaging distance operator and its application to decision making. Journal of Intelligent & Fuzzy Systems. 32(1):11-22. https://doi.org/10.3233/JIFS-141219S112232

Additional file 1: of Rotating shift work and menstrual characteristics in a cohort of Chinese nurses

Questionnaire. (DOC 154 kb